formal model meaning in Chinese
形式模型
Examples
- Once again, the "soft" nature of these constraints has prevented their inclusion in formal models .
这的制约因素的“伸缩”性质再一次使它们不能包括在正式模型里。 - Formal models of uml statechart diagrams based on petri nets
状态图的形式化模型 - Analysis of formal models and methods on mobile computing
移动计算形式理论分析与研究 - A formal model of workflow net
一种形式化的工作流网模型 - Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
首先,在论文中用一阶逻辑语言建立可信平台模块api的形式化模型,然后对建立的形式化模型进行逻辑推理分析。